nLab simplicial T-complex

Redirected from "simplical T-complex".
Contents

Context

Homotopy theory

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Contents

Idea

A simplicial T-complex is a Kan complex equipped with a choice of horn fillers, which satisfy certain ‘equations’. It is thus a special case of an algebraic Kan complex.

There is quite a difference between the Kan complex structure

  1. of the nerve N(𝒢)N(\mathcal{G}) of a groupoid, 𝒢\mathcal{G},

  2. and that of, say, a singular complex SingXSing X of some topological space XX.

In the first, if we are given a (n,i)(n,i)-horn, then there is exactly one nn-simplex in Ner(G)Ner(G), since the (n,i)(n,i)-horn has a chain of nn-composable arrows of GG in it (at least unless (n,i)=(2,0)(n,i) = (2,0) or (2,2)(2,2), which cases are slightly different) and that chain gives the required nn-simplex. In other words, there is a ‘canonical’ filler for any horn. In Sing(X)Sing(X), there will usually be many fillers; however the fact that this simplicial set is Kan is a property of retractions on standard simplices, and is not specifically a property of the space XX - that is the basic intuition.

Abstracting, in part, from this idea, Brown and Higgins developed the idea of a cubical T-complex. This was a cubical set with in each dimension nn, a subset of the nn-cubes being declared ‘thin’. The term was adopted to indicate that they, somehow, were of lower dimension than they looked to be. The theory was initiated in a simplicial context in the 1977 Bangor thesis of Keith Dakin listed below, and used by Brown and Higgins who showed that cubical TT-complexes were equivalent to crossed complexes. The corresponding simplicial TT-complex theory was further developed in the 1978 Bangor thesis of Nick Ashley, (see below for publication).

Simplicial TT-complex: the definition

Definition

A simplicial TT-complex is a pair (K,T)(K,T), where KK is a simplicial set and T=(T n) n1T = (T_n)_{n\geq 1} is a graded subset of KK with T nK nT_n\subseteq K_n. Elements of TT are called thin. The thin structure satisfies the following axioms:

  • Every degenerate element is thin.
  • Every horn in KK has a unique thin filler.
  • If all faces but one of a thin element are thin, then so also is the remaining face.
Examples
  1. A closely related idea is that of group T-complex. Group TT-complexes form a category equivalent to reduced crossed complexes. Any group TT-complex has an underlying simplicial set, which is a simplicial TT-complex.

  2. The nerve of a crossed complex has a natural T-complex structure. In a bit more detail, if C\mathsf{C} is a crossed complex, its nerve is given by Ner(C) n=Crs(π(n),C)Ner(\mathsf{C})_n = Crs(\pi(n),\mathsf{C}), where π(n)\pi(n) is the free crossed complex on the nn-simplex, Δ[n]\Delta[n]. This singular complex description shows that if we have an nn-simplex f:π(n)Cf : \pi(n) \to \mathsf{C}, and declare it to be \emph{thin} if the image f(ι n)f(\iota_n) of the top dimensional generator in π(n)\pi(n) is trivial, then the resulting collection of thin simplices determines a TT- complex structure on the nerve.

Results

  • Simplical TT-complexes together with maps between them which preserve ‘thinness’ form a category that is equivalent to that of crossed complexes and thus to strict \infty-groupoids. The uniqueness of the thin filler is exactly what gives a definite composition in the model.

Together with very similar ideas of John Roberts, adapted by Ross Street, the notion of TT-complex is one of the precursors of Dominic Verity‘s notion of complicial set.

They are also related to Jack Duskin‘s notion of hypergroupoid. (The connection is explored in the papers by Nan Tie listed below.)

References

Relevant references for simplicial T-complexes include:

  • Ronnie Brown, An Introduction to simplicial T-complexes, Esquisses Math. 32 (1983) Part 1

  • M.K. Dakin, Kan complexes and multiple groupoid structures, Ph.D Thesis, University of Wales, Bangor, 1977. Esquisses Math. (1983) 32 Part 2

  • N. Ashley, Simplicial T-Complexes: a non abelian version of a theorem of Dold-Kan, Ph.D Thesis University of Wales, Bangor, 1978; Dissertationes Math., 165, (1989), 11 – 58. Esquisses Math. (1983) 32 Part 3

  • G. Nan Tie, A Dold-Kan theorem for crossed complexes, J. Pure Appl. Alg., 56, (1989.), 177 -– 194.

  • G. Nan Tie, Iterated W and T-groupoids, J. Pure Appl. Alg., 56, (1989), 195 -– 209.

  • Ronnie Brown, and P.J. Higgins, On the algebra of cubes

    J. Pure Appl. Algebra 21 (1981) 233–260.

  • R. Brown, and P.J. Higgins, The equivalence of ω\omega -groupoids and cubical TT-complexes Cahiers Topologie G'eom. Diff'erentielle 22 (1981) 349–370.

Last revised on May 6, 2021 at 16:33:10. See the history of this page for a list of all contributions to it.